<?php


class NullType {
    
    
    
}

?>
